2:- ['../../../src/RTEC.prolog']. 3:- ['pre-processing.prolog']. 4:- ['caviar_declarations.prolog']. 5 6initiatedAt(person(_131136)=true, _, _131124, _) :- 7 happensAtProcessedIE(_131136,start(walking(_131136)=true),_131124), 8 \+happensAtIE(disappear(_131136),_131124). 9 10initiatedAt(person(_131136)=true, _, _131124, _) :- 11 happensAtProcessedIE(_131136,start(running(_131136)=true),_131124), 12 \+happensAtIE(disappear(_131136),_131124). 13 14initiatedAt(person(_131136)=true, _, _131124, _) :- 15 happensAtProcessedIE(_131136,start(active(_131136)=true),_131124), 16 \+happensAtIE(disappear(_131136),_131124). 17 18initiatedAt(person(_131136)=true, _, _131124, _) :- 19 happensAtProcessedIE(_131136,start(abrupt(_131136)=true),_131124), 20 \+happensAtIE(disappear(_131136),_131124). 21 22initiatedAt(person(_131136)=false, _, _131124, _) :- 23 happensAtIE(disappear(_131136),_131124). 24 25initiatedAt(leaving_object(_131136,_131137)=true, _, _131124, _) :- 26 happensAtIE(appear(_131137),_131124), 27 holdsAtProcessedIE(_131137,inactive(_131137)=true,_131124), 28 holdsAtProcessedSimpleFluent(_131136,person(_131136)=true,_131124), 29 holdsAtProcessedSDFluent(_131136,closeSymmetric(_131136,_131137,30)=true,_131124). 30 31initiatedAt(leaving_object(_131136,_131137)=false, _, _131124, _) :- 32 happensAtIE(disappear(_131137),_131124). 33 34initiatedAt(meeting(_131136,_131137)=true, _, _131124, _) :- 35 happensAtProcessedSDFluent(_131136,start(greeting1(_131136,_131137)=true),_131124), 36 \+happensAtIE(disappear(_131136),_131124), 37 \+happensAtIE(disappear(_131137),_131124). 38 39initiatedAt(meeting(_131136,_131137)=true, _, _131124, _) :- 40 happensAtProcessedSDFluent(_131136,start(greeting2(_131136,_131137)=true),_131124), 41 \+happensAtIE(disappear(_131136),_131124), 42 \+happensAtIE(disappear(_131137),_131124). 43 44initiatedAt(meeting(_131136,_131137)=false, _, _131124, _) :- 45 happensAtProcessedIE(_131136,start(running(_131136)=true),_131124). 46 47initiatedAt(meeting(_131136,_131137)=false, _, _131124, _) :- 48 happensAtProcessedIE(_131137,start(running(_131137)=true),_131124). 49 50initiatedAt(meeting(_131136,_131137)=false, _, _131124, _) :- 51 happensAtProcessedIE(_131136,start(abrupt(_131136)=true),_131124). 52 53initiatedAt(meeting(_131136,_131137)=false, _, _131124, _) :- 54 happensAtProcessedIE(_131137,start(abrupt(_131137)=true),_131124). 55 56initiatedAt(meeting(_131136,_131137)=false, _, _131124, _) :- 57 happensAtProcessedSDFluent(_131136,start(close(_131136,_131137,34)=false),_131124). 58 59holdsForSDFluent(close(_131139,_131140,24)=true,_131124) :- 60 holdsForProcessedIE(_131139,distance(_131139,_131140,24)=true,_131124). 61 62holdsForSDFluent(close(_131139,_131140,25)=true,_131124) :- 63 holdsForProcessedSDFluent(_131139,close(_131139,_131140,24)=true,_131147), 64 holdsForProcessedIE(_131139,distance(_131139,_131140,25)=true,_131160), 65 union_all([_131147,_131160],_131124). 66 67holdsForSDFluent(close(_131139,_131140,30)=true,_131124) :- 68 holdsForProcessedSDFluent(_131139,close(_131139,_131140,25)=true,_131147), 69 holdsForProcessedIE(_131139,distance(_131139,_131140,30)=true,_131160), 70 union_all([_131147,_131160],_131124). 71 72holdsForSDFluent(close(_131139,_131140,34)=true,_131124) :- 73 holdsForProcessedSDFluent(_131139,close(_131139,_131140,30)=true,_131147), 74 holdsForProcessedIE(_131139,distance(_131139,_131140,34)=true,_131160), 75 union_all([_131147,_131160],_131124). 76 77holdsForSDFluent(close(_131139,_131140,_131141)=false,_131124) :- 78 holdsForProcessedSDFluent(_131139,close(_131139,_131140,_131141)=true,_131147), 79 complement_all([_131147],_131124). 80 81holdsForSDFluent(closeSymmetric(_131139,_131140,_131141)=true,_131124) :- 82 holdsForProcessedSDFluent(_131139,close(_131139,_131140,_131141)=true,_131147), 83 holdsForProcessedSDFluent(_131140,close(_131140,_131139,_131141)=true,_131160), 84 union_all([_131147,_131160],_131124). 85 86holdsForSDFluent(greeting1(_131139,_131140)=true,_131124) :- 87 holdsForProcessedSDFluent(_131139,activeOrInactivePerson(_131139)=true,_131146), 88 \+_131146=[], 89 holdsForProcessedSimpleFluent(_131140,person(_131140)=true,_131165), 90 \+_131165=[], 91 holdsForProcessedSDFluent(_131139,close(_131139,_131140,25)=true,_131184), 92 \+_131184=[], 93 intersect_all([_131146,_131184,_131165],_131205), 94 \+_131205=[], 95 !, 96 holdsForProcessedIE(_131140,running(_131140)=true,_131228), 97 holdsForProcessedIE(_131140,abrupt(_131140)=true,_131239), 98 relative_complement_all(_131205,[_131228,_131239],_131124). 99 100holdsForSDFluent(greeting1(_131130,_131131)=true,[]). 101 102holdsForSDFluent(greeting2(_131139,_131140)=true,_131124) :- 103 holdsForProcessedIE(_131139,walking(_131139)=true,_131146), 104 \+_131146=[], 105 holdsForProcessedSDFluent(_131140,activeOrInactivePerson(_131140)=true,_131165), 106 \+_131165=[], 107 holdsForProcessedSDFluent(_131140,close(_131140,_131139,25)=true,_131184), 108 \+_131184=[], 109 !, 110 intersect_all([_131146,_131165,_131184],_131124). 111 112holdsForSDFluent(greeting2(_131130,_131131)=true,[]). 113 114holdsForSDFluent(activeOrInactivePerson(_131139)=true,_131124) :- 115 holdsForProcessedIE(_131139,active(_131139)=true,_131145), 116 holdsForProcessedIE(_131139,inactive(_131139)=true,_131156), 117 holdsForProcessedSimpleFluent(_131139,person(_131139)=true,_131167), 118 intersect_all([_131156,_131167],_131178), 119 union_all([_131145,_131178],_131124). 120 121holdsForSDFluent(moving(_131139,_131140)=true,_131124) :- 122 holdsForProcessedIE(_131139,walking(_131139)=true,_131146), 123 holdsForProcessedIE(_131140,walking(_131140)=true,_131157), 124 intersect_all([_131146,_131157],_131168), 125 \+_131168=[], 126 holdsForProcessedSDFluent(_131139,close(_131139,_131140,34)=true,_131186), 127 \+_131186=[], 128 !, 129 intersect_all([_131168,_131186],_131124). 130 131holdsForSDFluent(moving(_131130,_131131)=true,[]). 132 133holdsForSDFluent(fighting(_131139,_131140)=true,_131124) :- 134 holdsForProcessedIE(_131139,abrupt(_131139)=true,_131146), 135 holdsForProcessedIE(_131140,abrupt(_131140)=true,_131157), 136 union_all([_131146,_131157],_131168), 137 \+_131168=[], 138 holdsForProcessedSDFluent(_131139,close(_131139,_131140,24)=true,_131186), 139 \+_131186=[], 140 intersect_all([_131168,_131186],_131207), 141 \+_131207=[], 142 !, 143 holdsForProcessedIE(_131139,inactive(_131139)=true,_131228), 144 holdsForProcessedIE(_131140,inactive(_131140)=true,_131239), 145 union_all([_131228,_131239],_131250), 146 relative_complement_all(_131207,[_131250],_131124). 147 148holdsForSDFluent(fighting(_131130,_131131)=true,[]). 149 150cachingOrder2(_131123, close(_131123,_131124,24)=true) :- 151 id_pair(_131123,_131124). 152 153cachingOrder2(_131123, close(_131123,_131124,25)=true) :- 154 id_pair(_131123,_131124). 155 156cachingOrder2(_131123, close(_131123,_131124,30)=true) :- 157 id_pair(_131123,_131124). 158 159cachingOrder2(_131123, close(_131123,_131124,34)=true) :- 160 id_pair(_131123,_131124). 161 162cachingOrder2(_131123, close(_131123,_131124,34)=false) :- 163 id_pair(_131123,_131124). 164 165cachingOrder2(_131123, closeSymmetric(_131123,_131124,30)=true) :- 166 id_pair(_131123,_131124). 167 168cachingOrder2(_131123, person(_131123)=true) :- 169 list_of_ids(_131123). 170 171cachingOrder2(_131123, activeOrInactivePerson(_131123)=true) :- 172 list_of_ids(_131123). 173 174cachingOrder2(_131123, greeting1(_131123,_131124)=true) :- 175 id_pair(_131123,_131124). 176 177cachingOrder2(_131123, greeting2(_131123,_131124)=true) :- 178 id_pair(_131123,_131124). 179 180cachingOrder2(_131123, leaving_object(_131123,_131124)=true) :- 181 id_pair(_131123,_131124). 182 183cachingOrder2(_131123, leaving_object(_131123,_131124)=true) :- 184 symmetric_id_pair(_131123,_131124). 185 186cachingOrder2(_131123, meeting(_131123,_131124)=true) :- 187 id_pair(_131123,_131124). 188 189cachingOrder2(_131123, moving(_131123,_131124)=true) :- 190 id_pair(_131123,_131124). 191 192cachingOrder2(_131123, fighting(_131123,_131124)=true) :- 193 id_pair(_131123,_131124). 194 195buildFromPoints2(_131123, walking(_131123)=true) :- 196 list_of_ids(_131123). 197 198buildFromPoints2(_131123, active(_131123)=true) :- 199 list_of_ids(_131123). 200 201buildFromPoints2(_131123, inactive(_131123)=true) :- 202 list_of_ids(_131123). 203 204buildFromPoints2(_131123, running(_131123)=true) :- 205 list_of_ids(_131123). 206 207buildFromPoints2(_131123, abrupt(_131123)=true) :- 208 list_of_ids(_131123)